منابع مشابه
Extensional and Intensional Strategies
This paper is a contribution to the theoretical foundations of strategies. We first present a general definition of abstract strategies which is extensional in the sense that a strategy is defined explicitly as a set of derivations of an abstract reduction system. We then move to a more intensional definition supporting the abstract view but more operational in the sense that it describes a mea...
متن کاملExtensional vs. Intensional Logic
The German mathematician and one of the founding fathers of modern logic, Gottlob Frege (1848-1925), was the first to clearly realize that semantics has little to do with psychology, and that it could be usefully explicated in mathematical terms (see Dummett, 1973; 1981). His depsychologization of semantics followed from his depsychologization of logic. Frege understood how crucial it was for t...
متن کاملFrom extensional to intensional description
Abstract: Quantum search is well suited to spaces that can be described in brief encodings, such as integers or a set of algorithmic transformations in an abbreviated representation, but needs adaptation to deal efficiently with datasets. A method is presented for exploiting the global aggregation properties of a search operator so that the data space (extension) and algorithmic space can be ex...
متن کاملIntensional and Extensional Languages in Conceptual Modelling
In conceptual modelling, there are many competing views of the role of the modelling language. In this paper, we propose a clarifying classification of different kinds of languages. This classification, based on the semantical background theory of each kind of language, divides the modelling languages into three categories: extensional modelling languages, languages based on concept calculus (i...
متن کاملExtensional and Intensional Semantics of pUML Objects
Language UML (Unified Modeling Language) brought new generation into specification, realization and documentation of information systems and thanks to its open architecture it becomes as standard. Naturally, there have come different kinds of lacks, where the most important is probably the fact, that the semantic is defined using natural language. This finally results in many imperfections, for...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2010
ISSN: 2075-2180
DOI: 10.4204/eptcs.15.1